221. Arithmetic complexity of computations
پدیدآورنده: Shmuel Winograd
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Bilinear forms,، Computational complexity
رده :
QA
243
.
W56
1980
223. Artificial intelligence in renewable energetic systems :
پدیدآورنده: Mustapha Hatti, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.,Clean energy industries-- Data processing, Congresses.,Clean energy industries.,Renewable energy sources-- Data processing, Congresses.,Alternative & renewable energy sources & technology.,Artificial intelligence.,Artificial intelligence.,Clean energy industries.,Computational intelligence.,Engineering.,Renewable energy sources.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
Q342
.
A78
2018
224. Artificial intelligence research and development :
پدیدآورنده: edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
225. Artificial neural network for drug design, delivery, and disposition
پدیدآورنده: edited by Munish Puri, Yashwant Pathak, Vijay Kumar Sutariya, Srinivas Tipparaju, Wilfrido Moreno.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Neural networks (Computer science),Pharmaceutical technology.,Pharmacology-- Data processing.,Automatic Data Processing,Drug Delivery Systems,Drug Discovery-- methods,Neural Networks (Computer),Technology, Pharmaceutical
226. Aspects of complexity
پدیدآورنده: / editors Rod Denis Hirschfeldt
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computational complexity - Congresses
رده :
QA
267
.
7
.
A87
2001
227. Aspects of complexity : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000
پدیدآورنده: editors, Rod Downey, Denis Hirschfeldt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
A8
228. Aspects of complexity: minicourses in algortithmics, complexity and computational algebra, mathematics workshop, Kaikoura, January 7-15, 2000
پدیدآورنده: editors, Rod Downey, Denis Hirschfeldt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
A87
2001
231. Atomic-scale modelling of electrochemical systems
پدیدآورنده: edited by Marko M. Melander, Tomi T. Laurila, Kari Laasonen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electrochemistry.,Electrochemical analysis.
رده :
QD555
.
6
.
I58
2021
232. Audio-visual tracking of multiple moving speakers
پدیدآورنده: Kilic, V.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
233. Automata, computability and complexity :
پدیدآورنده: Elaine Rich.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
234. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
237. Automated Design of Analog and High-frequency Circuits :
پدیدآورنده: by Bo Liu, Georges Gielen, Francisco V. Fernández.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computational Intelligence.,Engineering.
رده :
Q342
.
B936
2014
238. Automated deduction in geometr
پدیدآورنده: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
239. Automated reasoning for systems biology and medicine /
پدیدآورنده: Pietro Liò, Paolo Zuliani, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational biology.,Medical informatics.,Systems biology.,Computational biology.,Medical informatics.,Systems biology.
رده :
QH324
.
2
.
A98
2019
240. Automatic modulation classification :
پدیدآورنده: Zhechen Zhu and Asoke K. Nand
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Modulation (Electronics)
رده :
TK5102
.
9
